From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

LOGIQUES LINÉAIRES HYBRIDES ET LEURS MODALITÉS : THÉORIES ET APPLICATIONS = HYBRID LINEAR LOGICS AND THEIR MODALITIES : THEORY AND APLICATIONSDemaille, Akim; Bellot, Patrick.1999, 175 p.Thesis

Strong normalization of the typed λ_ws-calculusDAVID, René; GUILLAUME, Bruno.Lecture notes in computer science. 2003, pp 155-168, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Coping polynomially with numerous but identical elements within planning problemsKANOVICH, Max; VAUZEILLES, Jacqueline.Lecture notes in computer science. 2003, pp 285-298, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Typed GoI for ExponentialsHAGHVERDI, Esfandiar.Lecture notes in computer science. 2006, pp 384-395, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

A non-commutative extension of MELLGUGLIELMI, Alessio; STRASSBURGER, Lutz.Lecture notes in computer science. 2002, pp 231-246, issn 0302-9743, isbn 3-540-00010-0, 16 p.Conference Paper

Deeper Connections Between LTL and Alternating AutomataPELANEK, Radek; STREJCEK, Jan.Lecture notes in computer science. 2006, pp 238-249, issn 0302-9743, isbn 3-540-31023-1, 1Vol, 12 p.Conference Paper

On the expressiveness of TPTL and MTLBOUYER, Patricia; CHEVALIER, Fabrice; MARKEY, Nicolas et al.Lecture notes in computer science. 2005, pp 432-443, issn 0302-9743, isbn 3-540-30495-9, 1Vol, 12 p.Conference Paper

Using linear logic to reason about sequent systemsMILLER, Dale; PIMENTEL, Elaine.Lecture notes in computer science. 2002, pp 2-23, issn 0302-9743, isbn 3-540-43929-3, 22 p.Conference Paper

Efficient monitoring of safety propertiesHAVELUND, Klaus; ROSU, Grigore.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 2, pp 158-173, issn 1433-2779, 16 p.Conference Paper

The definition of a temporal clock operatorEISNER, Cindy; FISMAN, Dana; HAVLICEK, John et al.Lecture notes in computer science. 2003, pp 857-870, issn 0302-9743, isbn 3-540-40493-7, 14 p.Conference Paper

Synthesis of uninitialized systemsHENZINGER, Thomas A; KRISHNAN, Sriram C; KUPFERMAN, Orna et al.Lecture notes in computer science. 2002, pp 644-656, issn 0302-9743, isbn 3-540-43864-5, 13 p.Conference Paper

Implantation parallèle avec la logique linéaire (application des réseaux d'interaction et de la géométrie d'interaction) = Parallel Implementation with Linear Logic (applications of Interaction Nets and the Geometry of Interaction)Sousa Pinto, Zorge; Mackie, Ian.2001, 211 p.Thesis

Binding signatures for generic contextsPOWER, John; TANAKA, Miki.Lecture notes in computer science. 2005, pp 308-323, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

Duration-constrained regular expressionsLI XUANDONG; ZHAO JIANHUA; ZHENG TAO et al.Formal aspects of computing. 2004, Vol 16, Num 2, pp 155-163, issn 0934-5043, 9 p.Conference Paper

Linear logicGIRARD, Jean-Yves; OKADA, Mitsuhiro; SCEDROV, Andre et al.Theoretical computer science. 2003, Vol 294, Num 3, issn 0304-3975, 243 p.Conference Proceedings

Local LTL with past constants is expressively complete for Mazurkiewicz tracesGASTIN, Paul; MUKUND, Madhavan; NARAYAN KUMAR, K et al.Lecture notes in computer science. 2003, pp 429-438, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

LTL with past and two-way very-weak alternating automataGASTIN, Paul; ODDOUX, Denis.Lecture notes in computer science. 2003, pp 439-448, issn 0302-9743, isbn 3-540-40671-9, 10 p.Conference Paper

Connection-based proof construction in non-commutative logicGALMICHE, D; NOTIN, J.-M.Lecture notes in computer science. 2003, pp 422-436, issn 0302-9743, isbn 3-540-20101-7, 15 p.Conference Paper

Stratified coherence spaces: a denotational semantics for light linear logicBAILLOT, Patrick.Theoretical computer science. 2004, Vol 318, Num 1-2, pp 29-55, issn 0304-3975, 27 p.Conference Paper

Modèle relationnel de la logique linéaire du second ordre = Relational model of second order linear logicBRUASSE-BAC, Alexandra.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 2002, Vol 334, Num 2, pp 93-96, issn 0764-4442Article

Réseaux, cohérence et expériences obsessionnelles = Proof-nets, coherence and obsessional experimentsTortora De Falco, Lorenzo; Danos, Vincent.2000, 301 p.Thesis

The Maude LTL model checker and its implementationEKER, Steven; MESEGUER, José; SRIDHARANARAYANAN, Ambarish et al.Lecture notes in computer science. 2003, pp 230-234, issn 0302-9743, isbn 3-540-40117-2, 5 p.Conference Paper

Acyclicity and coherence in multiplicative exponential linear logicPAGANI, Michele.Lecture notes in computer science. 2006, pp 531-545, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 15 p.Conference Paper

Enhanced vacuity detection in linear temporal logicARMONI, Roy; FIX, Limor; FLAISHER, Alon et al.Lecture notes in computer science. 2003, pp 368-380, issn 0302-9743, isbn 3-540-40524-0, 13 p.Conference Paper